Definition t := Type.